<html originID="b"> 
<head> 
  <title>Crash doing open on destroyed window</title> 
<script> 
function doCrash() {
  top.contents.location.href = "http://yinzhicao.cs.northwestern.edu/index.html";
  alert(top.contents.document.cookie);
}
function run() {
  alert(top.contents.document.title);
  alert(top.contents.document.cookie);
}
</script>
<script>
function cookie() {

  
}


</script> 
</head> 
<body> 
  <input type=button onclick="doCrash()" value="google" />
  <input type=button onclick="run()" value="run" />
</body> 
</html> 
